You can use the 4868.
If they would not have met the time by October 15th, then there would be a special extension form for that, but that does not apply in your case.
View solution in original post
