You should be able to put his IP address range(s) in your access-list to deny NAT translation. Make sure you deny any addresses you don't want translated before you permit "all" the others. If you're only permiting addresses that are supposed to be translated, the implicit deny should suffice.
If this still isn't working, its possible that your NAT is working properly, but (one of) your upstream provider(s) is checking incomming packets against its routing table to determine if packets are being spoofed. Those that are "sourced" from the VSAT may appear to be comming in from the wrong interface from your provider's perspective.
Debug NAT (CAREFULLY, call TAC for assistance) to determine if NAT is functioning properly before you assume it isn't.
Mick.