Time Spent Playing a Rush Hour Puzzle