Thanks for your reply! We booked Alamo, for no reason other than I prefer the idea of being able to choose my own vehicle. However, if any of you guys would recommend Budget instead, then let me know as I can always change it.
Fingers crossed for a nice Luxury upgrade!