Talk:TARDIS control console

Dispensing condiments
In the list of console functions is dispensing condiments, with the citation to Vincent and the Doctor. I realise this comes from the Doctor and Amy calling a pair of buttons Ketchup and Mustard, but are we sure those are not just the nicknames for them, and that's not what they actually do? I know that's the only line we've got on the subject but I find it doubtful that it's their proper function. ProtoKun7 ☎  22:25, May 27, 2017 (UTC)