I hit on something that works, but would welcome critical comments:
I found I have to use the mktime function:
First, extract the month number...
$month = date('F', substr($MONTHFILTER, 5, 2));
THEN I can use mktime (nested in the date formatting function) to get the proper month name.
$monthname = date("F", mktime(0,0,0,$month+1,00,$year));
Why must I add "+1" to $month to get the proper month? Does PHP think January is "00"?
Should I delete message threads where I find my own answers?