So, if you can’t buy a TDI from VW, can you still buy a used TDI? They’re still on carmax at the moment, but without any significant price drops yet.