Option 2 sounds like the appropriate one. The KF is robust wrt missing data. Set up your design for 80 Hz and read at any frequency you desire. I assume that the GPS data will benchmark the other data, so the filter will operate well. A good reference on the KF can be found at...