The elevator I use in the morning is called "diablo.". Should I be worried?