$4500 is way too low for a HUO 300 plays AC/DC Pro. I don't know the exact figure here, but if you are looking around - Try Joe at "Kids Just Wanna Have Fun". He has contacts all around Australia and would know the current market price very well. I have sent customers to Joe and all have ended up very happy (including me!).
Thanks for the thoughts guys. At least it gives me a ball park to let my mate know. Thanks Nino, I will put the above in my favourites for me in future!