The US would have to get involved, South Korea is a military ally. We literally have thousands of troops and military bases inside their country. I think this is why the agreement with Russia only states “potential” aid from Russia in the event of a war with South Korea.
Any reliable sources? I wouldn’t doubt it for a minute, but I would think the NK and Russian military leadership would have them watched like hawks.