Not sure how many pitches this was total, but here is my only triple play. Same scenario that you want, but just a different pitch count for that inning.
https://youtu.be/hTWKFtR6PJk?t=12m52s
For some reason it recorded 15 minutes worth but the link starts at the at bat described above.