Just booked yesterday, and it appears that Eurotunnel have opened a UK equivalent of the Calais Pet Terminal. It is inside the Passenger Terminal, with the entrance seeming to be between the coach (MH) park and car park. Looks like Tunnel staff will be checking pet documents.