Yeah I reckon you're spot on.
I had them willing to send me over a brand new JDM RS5F31V gearbox at one stage. Total cost: $2600, then I was thinking about it, until later on I found out they'd made a mistake and it was going to cost $5200. Hehe. But they could get it.