its often a matter of personal choice , ther will no doubt be fans of binos for their portabilty and dual use... could use them for terrestrial persuits.
for purely astro use id go for that money a 10 inch dob , you can change eyepeices for planets like jupiter and mars , or go widefield for other objects...this is not so easy with binos , if they have eyepeices you will need to double up... keep in mind neither of these are particularly suited for photograhpy.