Hi,   Just going through my Born This Way media and the only time that RedOne is mentioned as a co-writer on HU is on the cd booklet. Vinyl, vinyl box set, cassettes or wiki doesn't show his credits.    What is the truth??