I wasn't notified. Then again, I didn't know what PM was during my early TPM days. My condolences anyhow.