It's probably too late now, but get "Bright Air" odor eliminator from Dollar General. Buy a few of them, they are cheap. Put out a few in the basement, and the house just in case the odor migrates.
I cleaned up my husband's car which smelled like something dead after loaning it out and it sitting in the head of aust unopened.