Unix shell scripting - delete multiple lines from a file based on a pattern

The format of the file is:

header - like 0001datetime|number of records
0010 some data
0012 Roll number (eg)
0020 some data
.
.
.
0070 some data
0010 some data
0012 Roll number (eg)
0020 some data
.
.
.
0070 some data
trailer - like 0099datetime|numberof records

Requirement - A list of Roll numbers will be given and the the records (0010-0070) needs to be removed for those numbers. There might be any number of fields between 0010 and 0070 but roll number is always at 0012. Each record always starts with 0010 and end with 0070.

Could anyone please help with this?