The RMCE cassette of the Mi{MIC}hhMI10526 insertion has been replaced with a 'Trojan' exon cassette that encodes GAL80.