The DC sniper died at 9.11pm Was that symbolic?

The execution was set for 9:00 PM, and I am sure they delayed it to make a point. I lived in Virginia for many years, and I know that there are quite a few people over there who are not above such pettiness.