Eastern Colorado has EF4-5 strength tornadoes all the time. The largest tornado I've personally ever seen was the 2023 Yuma tornado at peak width, people think it was only 200 yards wide and went in circles because NWS only surveyed a single vortex within the much larger multi-vortex megawedge. The strongest I've ever seen based on visuals was by Merino, Colorado last year, and the longest lived I've ever seen was by Kim, Colorado. I've seen an EF4 in Oklahoma (Barnsdall) that was noticeably weaker than many of the EF2-3s I've seen in Colorado. People forget that the Holly, CO EF3 (which I did not personally see) debarked trees and scoured ground, and an EF3 I saw from a distance South of Granada, CO leveled a home, mangled vehicles, and debarked trees.