I am so sorry you lost him. FIP is really nasty, and seems to have affected too many cats in your neighborhood.