Gearbox repair

Just sent my car to Ah Boon to fix my gearbox. After stripping it apart, Ah Boon told me the 4th and 5th gears are in terrible shape. The hub and sleeve is gone and the gears are also damaged :-( It could cost up to 1.8K to fix. Sigh.. Wish I had more money to buy my R35 GTR - my dream car!