You are correct BigUmp. The thing to remember is that this play is a delayed dead ball. I've seen a few umpires call this play dead immediately thus robbing the defence the opportunity to make the 2nd out. In your case the PU has the authority to call the 2nd out due to the fact that the batter was struck out and then interfered. this is in the delayed dead ball table for rule 5 in the FED rule book.