Thanks! I just did a bit of googling, and I will definitely be washing the buds! It will be worth it for the peace of mind alone. No matter how "safe" something is, I get twitchy around anything that end in the suffix "-cide".
If I remember correctly, it translates to "death" in Latin.
Some modern methods just sound to my ears like,
"Hey guys, I just poured liquid death on my buds. Anyone want a smoke?"