I am also sorry to hear of this. With the high price of repair parts and labor, it doesn't take much damage to total a $10K car these days.
A quick search on eBay located this 2005 S with only 85K miles for $13K. Looks to be in very nice shape and has a couple of nice options like litronics and Bose sound. Car is local to you in Argyle, TX which is just outside Dallas. If it doesn't sell on eBay, you might want to track it down and make an offer for less than the eBay asking price to see if the seller wants to make a deal.
https://www.ebay.com/itm/2005-Porsche-Boxster-S/112705769282?hash=item1a3dc98f42:g:NckAAOSwbtNaG0e o&vxp=mtr