So I don’t listen to the “Gary in the Tardis” versions too often because all I have are low-quality MP3s (ahem), but it just struck me: they actually got Gary into the studio for these, didn’t they?