My polo was making a whining noise when I changed gears and also when slowing down. Took it to a local garage who took it for a spin and told me that the gearbox is knackered (which seems to be a common problem). Driving back home the gears were getting harder to engage

Thing is, I'm not sure what to do next. The garage I took it to said they could send it to a garage they use but could cost upto £1k to fix

.Is it best to get one from here:
http://www.volkswagenspares.com/page.php?page=Gearboxes and get someone to fit it?
Or
Take it to someone to have mine rebuilt, only got one quote so far (
http://www.southwalestransmissions.co.uk), who said without seeing it, probably £500 to £700
Or something else?