All dreamcast hardware has HKT-some number

dc is hkt-3020
dev kit is hkt-01
i think the bba is somthing like hkt-400

my question to you is what does hkt stand for?