John's bonus had been paid out 10 months earlier and it was actually much higher. It netted out to around 118k, give or take a few hundred dollars. I don't know about anyone else, but if I got a 10k bonus, it's a 10k bonus in my mind, not at a $7200 bonus after taxes. I'm not saying it wasn't in Patsy's mind. I'm just not convinced given the fact that it wasn't his gross bonus, it was not the exact amount of his net payout, and the fact that it had been paid nearly a year earlier . If it really had been a Christmas bonus and/or exactly a 118k bonus as the media reported, I'd be convinced. (Unless they were trying to frame someone in John's payroll department.)
However, if it was put in their deliberately - and it's very possible it was - I think that would have been John's doing, not Patsy's idea. I don't think she paid much attention to what was coming in, as long as she could spend it freely.