9. Bill Swerski's Superfans. Superfan Todd O'Connor (played by the late Chris Farley) has a heart attack on average once every 4 years. Todd has his first ever physical exam due to new insurance regulations. His doctor is horrified at his low beef fat-to-pork fat ratio, and his doctor tells him that he must change his diet. Todd resists, but agrees to change his diet after three heart attacks. What is the probability that Todd will not have to change his diet for at least 10 years? Assume a Poisson process is the correct model for Todd's heart attacks.