Do other All-Stars know how many Nats have?