My friend recently purchased an RX-7. It needs some engine work. Does anyone know where he can go to get it repaired?