[areyouabus (Pauly)]

nikon action 7x35. You can pick up for around $150 on ebay. They have the widest field of view of any cheap binoculars - 9.3 degrees.
Means he can see more stars at the same time, great for learning constellations