HOw much is a time machine?