RedBox-Mint Supplementary Documentation