i have been meaning to ask you if fanfan is on your ping list? i don't want to send a ping if you already did! :)
But it does not hurt to separately ping either or us anyway.