What would it cost to make a TARDIS?