+1 on going to original dealer and was it CPO? If so you MAY have a chance. Also $900 seems rather high but idk what was involved in the repair. I would also want some type of proof. I doubt you'll get anywhere but talk to the selling dealer (polite/respectfull) good luck
2012 V6 traded in for a 2017 VW GTI.