We use a few at work as our offices are shielded. Don't buy from overseas as there is a lot of fiddling and they may not be licensed for use in Australia.
If you use optus, they can sell you a femtocell which requires fixed line internet. If you are with telstra then they use a NetGear repeater (I'm not in the office until next Thursday so can't get you the model) telstra do one with their custom config locked to their network, but if you just get that model from somewhere else it will repeat for all three carriers.
I haven't seen an lte model yet.
Finally, if he has a bit of free time, a homemade parabolic reflector may work very well.
I used one successfully for wifi frequencies, a bit fiddly to setup, but once it was 'tuned' it gave me enough power to reach all the rooms of the house
Finally, given his location and the cost of 3g data and the repeater, going with someone like vertel may be a cheaper/better option
Kris