@BurghPotPie I bet "relieved" is a more appropriate word than "glad," and it's a totally natural feeling. Too bad it happened to anyone.