Not a big deal. If you can no longer get Red No. 40, then use Red No. 39 as no one will know the difference.
Like WD-39 instead of WD-40?..............