Aw!!! Really? That's so sweet! (I've been out of town without web access, sorry I couldn't respond sooner.)
The baby's name is Oscar. He weighed 4 pounds, seven ounces.
He's now over 7 pounds, and is doing very well.
His parents will get a real kick out of this.