P."coccineum" is definitely not legal here, however, since it is usually classed as a variety of barbigerum (either v.lockii or now v.coccineum), I would not be surprised to see it turn up simply as "barbigerum", as the larger varieties ("vejvarutianum, rhisomatosum) have. Take care, Eric