And the earth shook tonight in Puerto Rico. I woke up on a trembling bed. It was quite scary, but fortunately, nothing else happened.