Generar un PDF con nombre personalizado con DomPDF

La pregunta es sencilla, mediante PHP y la librería DomPDF puedo generar mi PDF de maravillas, guardarlo en una ruta especifica de mi servidor y mostrarlo a usuario. Lo que necesito es que se guarde con un nombre especifico que tengo almacenado en una variable.

Ejemplo:

Tengo una lista de sanciones:

• 987654321
• 1234567
• 258963

A cada sanción se le generara un PDF. Cuando doy clic en el numero de la sanción genero el PDF y guardo ese número por medio de uno variable que utilizare en el .php que genera el PDF, lo que necesito es que el nombre del PDF creado sea el número de la sanción. Si doy click en la sanción 987654321 se guarde con ese nombre, igual para la sanción 1234567 y así sucesivamente.