結局K5400dtnを1万ちょっとで買えたことになった。