Yeah I've got one, I have a 12 inch Celestron reflector type that retails about $4k, but it really depends on what you want it for, if he just wants to look at basic things then a 4.5inch+ reflectors are the way to go, very affordable and easy to use.
If you want some more info hit me up on ICQ

# below