VehicleTransaction compiles, buyers still unimplemented