f22 tyndall 2012 bulkhead repairs