That's fantastic! One thing to add: when a relay sticks like that, it's usually a sign of the relay beginning to go bad. If it does it again in the near future, it might be worthwhile to buy a new one and replace (which shouldn't be all that much harder than whacking it).