Nintendo's intensely red Mario-themed Switch will be available ...